[INFO] cloning repository https://github.com/Qiacoriander/circomspect-privacy
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Qiacoriander/circomspect-privacy" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 58fa3d310d043d9b159c1442dab457062981261c
[INFO] testing Qiacoriander/circomspect-privacy against master#f9988fefd3add01f414f52b414308e7872622fee for pr-155114
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Qiacoriander/circomspect-privacy
[INFO] finished tweaking git repo https://github.com/Qiacoriander/circomspect-privacy
[INFO] tweaked toml for git repo https://github.com/Qiacoriander/circomspect-privacy written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Qiacoriander/circomspect-privacy on toolchain f9988fefd3add01f414f52b414308e7872622fee
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Qiacoriander/circomspect-privacy already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serde-sarif v0.4.2
[INFO] [stderr]   Downloaded schemafy_core v0.6.0
[INFO] [stderr]   Downloaded pretty_env_logger v0.5.0
[INFO] [stderr]   Downloaded schemafy_lib v0.6.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c3a2644d0e3027b9cfec67f53f510b1ea78be7954d4122dceb652708ff25e779
[INFO] running `Command { std: "docker" "start" "-a" "c3a2644d0e3027b9cfec67f53f510b1ea78be7954d4122dceb652708ff25e779", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c3a2644d0e3027b9cfec67f53f510b1ea78be7954d4122dceb652708ff25e779", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c3a2644d0e3027b9cfec67f53f510b1ea78be7954d4122dceb652708ff25e779", kill_on_drop: false }`
[INFO] [stdout] c3a2644d0e3027b9cfec67f53f510b1ea78be7954d4122dceb652708ff25e779
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1505851a4f11ef862115e402548d66c1c76e7aa7127de506e50f0241c0129817
[INFO] running `Command { std: "docker" "start" "-a" "1505851a4f11ef862115e402548d66c1c76e7aa7127de506e50f0241c0129817", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling prettyplease v0.2.20
[INFO] [stderr]    Compiling num-bigint-dig v0.8.4
[INFO] [stderr]    Compiling syn v2.0.67
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling rustc-hex v2.1.0
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling strum v0.25.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.4
[INFO] [stderr]    Compiling anstyle v1.0.7
[INFO] [stderr]    Compiling colorchoice v1.0.1
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.0
[INFO] [stderr]    Compiling anstyle-query v1.1.0
[INFO] [stderr]    Compiling clap_lex v0.7.1
[INFO] [stderr]    Compiling anstream v0.6.14
[INFO] [stderr]    Compiling clap_builder v4.5.7
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling codespan v0.11.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling regex-automata v0.4.7
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling clap_derive v4.5.5
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling regex v1.10.5
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling env_logger v0.10.2
[INFO] [stderr]    Compiling clap v4.5.7
[INFO] [stderr]    Compiling pretty_env_logger v0.5.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling schemafy_core v0.6.0
[INFO] [stderr]    Compiling schemafy_lib v0.6.0
[INFO] [stderr]    Compiling circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stderr]    Compiling serde-sarif v0.4.2
[INFO] [stderr]    Compiling circomspect-parser v2.2.0 (/opt/rustwide/workdir/parser)
[INFO] [stderr]    Compiling circomspect-program-structure v2.1.4 (/opt/rustwide/workdir/program_structure)
[INFO] [stderr]    Compiling circomspect-program-analysis v0.8.2 (/opt/rustwide/workdir/program_analysis)
[INFO] [stderr]    Compiling circomspect-program-structure-tests v0.8.0 (/opt/rustwide/workdir/program_structure_tests)
[INFO] [stdout] warning: method `is_oneway` is never used
[INFO] [stdout]    --> program_analysis/src/ccig.rs:843:8
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl CcigAnalyzer {
[INFO] [stdout]     | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 843 |     fn is_oneway(&self, node_id: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 03s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: num-bigint-dig v0.8.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "1505851a4f11ef862115e402548d66c1c76e7aa7127de506e50f0241c0129817", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1505851a4f11ef862115e402548d66c1c76e7aa7127de506e50f0241c0129817", kill_on_drop: false }`
[INFO] [stdout] 1505851a4f11ef862115e402548d66c1c76e7aa7127de506e50f0241c0129817
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4d5e36793b1e6cf5f64cbd7248cebac43945bd6222b464958c07f60f8a3d72d3
[INFO] running `Command { std: "docker" "start" "-a" "4d5e36793b1e6cf5f64cbd7248cebac43945bd6222b464958c07f60f8a3d72d3", kill_on_drop: false }`
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]    Compiling rustix v0.38.34
[INFO] [stderr]    Compiling bitflags v2.5.0
[INFO] [stderr]    Compiling fastrand v2.1.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stderr]    Compiling schemafy_lib v0.6.0
[INFO] [stderr]    Compiling serde-sarif v0.4.2
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling tempfile v3.10.1
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.4.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling circomspect-program-structure v2.1.4 (/opt/rustwide/workdir/program_structure)
[INFO] [stderr]    Compiling circomspect-parser v2.2.0 (/opt/rustwide/workdir/parser)
[INFO] [stderr]    Compiling circomspect-program-analysis v0.8.2 (/opt/rustwide/workdir/program_analysis)
[INFO] [stderr]    Compiling circomspect-program-structure-tests v0.8.0 (/opt/rustwide/workdir/program_structure_tests)
[INFO] [stdout] warning: method `is_oneway` is never used
[INFO] [stdout]    --> program_analysis/src/ccig.rs:843:8
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl CcigAnalyzer {
[INFO] [stdout]     | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 843 |     fn is_oneway(&self, node_id: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `initializations`
[INFO] [stdout]    --> parser/src/parser_logic.rs:284:72
[INFO] [stdout]     |
[INFO] [stdout] 284 |                         if let Statement::InitializationBlock { xtype, initializations, .. } = stmt
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^ help: try ignoring the field: `initializations: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `program_structure::cfg::Cfg`
[INFO] [stdout]     --> program_analysis/src/ccig.rs:1155:9
[INFO] [stdout]      |
[INFO] [stdout] 1155 |     use program_structure::cfg::Cfg;
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `program_structure::report::ReportCollection`
[INFO] [stdout]     --> program_analysis/src/ccig.rs:1156:9
[INFO] [stdout]      |
[INFO] [stdout] 1156 |     use program_structure::report::ReportCollection;
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `program_structure::constants::Curve`
[INFO] [stdout]     --> program_analysis/src/ccig.rs:1157:9
[INFO] [stdout]      |
[INFO] [stdout] 1157 |     use program_structure::constants::Curve;
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `program_structure::control_flow_graph::IntoCfg`
[INFO] [stdout]     --> program_analysis/src/ccig.rs:1158:9
[INFO] [stdout]      |
[INFO] [stdout] 1158 |     use program_structure::control_flow_graph::IntoCfg;
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser::parse_definition`
[INFO] [stdout]     --> program_analysis/src/ccig.rs:1159:9
[INFO] [stdout]      |
[INFO] [stdout] 1159 |     use parser::parse_definition;
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `test_file`
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:599:13
[INFO] [stdout]     |
[INFO] [stdout] 599 |         let test_file = project_root.join("examples").join("instantiation.circom");
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_test_file`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:652:14
[INFO] [stdout]     |
[INFO] [stdout] 652 |         let (mut runner, reports) =
[INFO] [stdout]     |              ----^^^^^^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `reports`
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:652:26
[INFO] [stdout]     |
[INFO] [stdout] 652 |         let (mut runner, reports) =
[INFO] [stdout]     |                          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reports`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cfg_manager`
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:779:13
[INFO] [stdout]     |
[INFO] [stdout] 779 |         let cfg_manager = runner.link_all_cfg_references();
[INFO] [stdout]     |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cfg_manager`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_oneway` is never used
[INFO] [stdout]    --> program_analysis/src/ccig.rs:843:8
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl CcigAnalyzer {
[INFO] [stdout]     | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 843 |     fn is_oneway(&self, node_id: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find_call_expression_in_statement` is never used
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:683:12
[INFO] [stdout]     |
[INFO] [stdout] 683 |         fn find_call_expression_in_statement<'a>(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find_call_expression_in_expr` is never used
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:710:12
[INFO] [stdout]     |
[INFO] [stdout] 710 |         fn find_call_expression_in_expr<'a>(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 29.51s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: num-bigint-dig v0.8.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "4d5e36793b1e6cf5f64cbd7248cebac43945bd6222b464958c07f60f8a3d72d3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4d5e36793b1e6cf5f64cbd7248cebac43945bd6222b464958c07f60f8a3d72d3", kill_on_drop: false }`
[INFO] [stdout] 4d5e36793b1e6cf5f64cbd7248cebac43945bd6222b464958c07f60f8a3d72d3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1812601f939835121b243177a735cbccb69705e99aca9d2e1ee15473f6621807
[INFO] running `Command { std: "docker" "start" "-a" "1812601f939835121b243177a735cbccb69705e99aca9d2e1ee15473f6621807", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `initializations`
[INFO] [stderr]    --> parser/src/parser_logic.rs:284:72
[INFO] [stderr]     |
[INFO] [stderr] 284 |                         if let Statement::InitializationBlock { xtype, initializations, .. } = stmt
[INFO] [stderr]     |                                                                        ^^^^^^^^^^^^^^^ help: try ignoring the field: `initializations: _`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `circomspect-parser` (lib test) generated 1 warning (run `cargo fix --lib -p circomspect-parser --tests` to apply 1 suggestion)
[INFO] [stderr] warning: method `is_oneway` is never used
[INFO] [stderr]    --> program_analysis/src/ccig.rs:843:8
[INFO] [stderr]     |
[INFO] [stderr] 134 | impl CcigAnalyzer {
[INFO] [stderr]     | ----------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 843 |     fn is_oneway(&self, node_id: usize) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `program_structure::cfg::Cfg`
[INFO] [stderr]     --> program_analysis/src/ccig.rs:1155:9
[INFO] [stderr]      |
[INFO] [stderr] 1155 |     use program_structure::cfg::Cfg;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `program_structure::report::ReportCollection`
[INFO] [stderr]     --> program_analysis/src/ccig.rs:1156:9
[INFO] [stderr]      |
[INFO] [stderr] 1156 |     use program_structure::report::ReportCollection;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `program_structure::constants::Curve`
[INFO] [stderr]     --> program_analysis/src/ccig.rs:1157:9
[INFO] [stderr]      |
[INFO] [stderr] 1157 |     use program_structure::constants::Curve;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `program_structure::control_flow_graph::IntoCfg`
[INFO] [stderr]     --> program_analysis/src/ccig.rs:1158:9
[INFO] [stderr]      |
[INFO] [stderr] 1158 |     use program_structure::control_flow_graph::IntoCfg;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `parser::parse_definition`
[INFO] [stderr]     --> program_analysis/src/ccig.rs:1159:9
[INFO] [stderr]      |
[INFO] [stderr] 1159 |     use parser::parse_definition;
[INFO] [stderr]      |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `test_file`
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:599:13
[INFO] [stderr]     |
[INFO] [stderr] 599 |         let test_file = project_root.join("examples").join("instantiation.circom");
[INFO] [stderr]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_test_file`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:652:14
[INFO] [stderr]     |
[INFO] [stderr] 652 |         let (mut runner, reports) =
[INFO] [stderr]     |              ----^^^^^^
[INFO] [stderr]     |              |
[INFO] [stderr]     |              help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `reports`
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:652:26
[INFO] [stderr]     |
[INFO] [stderr] 652 |         let (mut runner, reports) =
[INFO] [stderr]     |                          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reports`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `cfg_manager`
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:779:13
[INFO] [stderr]     |
[INFO] [stderr] 779 |         let cfg_manager = runner.link_all_cfg_references();
[INFO] [stderr]     |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cfg_manager`
[INFO] [stderr] 
[INFO] [stderr] warning: function `find_call_expression_in_statement` is never used
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:683:12
[INFO] [stderr]     |
[INFO] [stderr] 683 |         fn find_call_expression_in_statement<'a>(
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `find_call_expression_in_expr` is never used
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:710:12
[INFO] [stderr]     |
[INFO] [stderr] 710 |         fn find_call_expression_in_expr<'a>(
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `circomspect-program-analysis` (lib) generated 1 warning
[INFO] [stderr] warning: `circomspect-program-analysis` (lib test) generated 12 warnings (1 duplicate) (run `cargo fix --lib -p circomspect-program-analysis --tests` to apply 9 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: num-bigint-dig v0.8.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/circomspect-b4c65a78b3b7778d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_circom_algebra-6f25de5b98b9d820)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test modular_arithmetic::tests::complement_of_complement_is_the_original_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::lesser_eq_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_operation_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::comparison_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_parser-a8e49f4c453f324c)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test parser_logic::tests::test_cfg_public_private_iterators ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_input_signals_ast ... ok
[INFO] [stdout] test parser_logic::tests::test_intermediate_signal_is_private ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_nested_tuples ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_invalid_tuples ... ok
[INFO] [stdout] test tests::test_compiler_version ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_desugar_multi_sub ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_string ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_program_analysis-b53e0d0f589b34c0)
[INFO] [stdout] 
[INFO] [stdout] running 38 tests
[INFO] [stdout] circomspect: analyzing template 'Num2Bits'
[INFO] [stdout] test analysis_runner::tests::test_function ... ok
[INFO] [stdout] test bitwise_complement::tests::test_bitwise_complement ... ok
[INFO] [stdout] test analysis_runner::tests::test_underlying_str ... ok
[INFO] [stdout] test analysis_runner::tests::test_template ... ok
[INFO] [stdout] test ccig::tests::test_ast_sum_nodes_dump ... ok
[INFO] [stdout] test ccig::tests::test_ccig_construction_and_phases ... ok
[INFO] [stdout] test ccig::tests::test_partial_blinded ... ok
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:10:9
[INFO] [stdout]    │
[INFO] [stdout] 10 │         out[i] <-- (in >> i) & 1;
[INFO] [stdout]    │         ^^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `out[i]` is not constrained here.
[INFO] [stdout] 11 │         out[i] * (out[i] -1 ) === 0;
[INFO] [stdout]    │         ---------------------------- The signal `out[i]` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:10:21
[INFO] [stdout]    │
[INFO] [stdout] 10 │         out[i] <-- (in >> i) & 1;
[INFO] [stdout]    │                     ^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:11:9
[INFO] [stdout]    │
[INFO] [stdout] 11 │         out[i] * (out[i] -1 ) === 0;
[INFO] [stdout]    │         ^^^^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:12:9
[INFO] [stdout]    │
[INFO] [stdout] 12 │         lc1 += out[i] * e2;
[INFO] [stdout]    │         ^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:13:14
[INFO] [stdout]    │
[INFO] [stdout] 13 │         e2 = e2+e2;
[INFO] [stdout]    │              ^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]   ┌─ /opt/rustwide/workdir/examples/instantiation.circom:9:26
[INFO] [stdout]   │
[INFO] [stdout] 9 │     for (var i = 0; i<n; i++) {
[INFO] [stdout]   │                          ^^^ Field element arithmetic here.
[INFO] [stdout]   │
[INFO] [stdout]   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Comparisons with field elements greater than `p/2` may produce unexpected results.
[INFO] [stdout]   ┌─ /opt/rustwide/workdir/examples/instantiation.circom:9:21
[INFO] [stdout]   │
[INFO] [stdout] 9 │     for (var i = 0; i<n; i++) {
[INFO] [stdout]   │                     ^^^ Field element comparison here.
[INFO] [stdout]   │
[INFO] [stdout]   = Field elements are always normalized to the interval `(-p/2, p/2]` before they are compared.
[INFO] [stdout]   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-comparison.
[INFO] [stdout] 
[INFO] [stdout] circomspect: analyzing template 'Split'
[INFO] [stdout] test cfg_manager::tests::test_add_and_get_template ... ok
[INFO] [stdout] test cfg_manager::tests::test_link_call_to_function ... ok
[INFO] [stdout] test cfg_manager::tests::test_link_call_to_template ... ok
[INFO] [stdout] test ccig::tests::test_zkleak_subcomponent_leak ... ok
[INFO] [stdout] test ccig::tests::test_zkleak_bitwise_operations ... ok
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:26:5
[INFO] [stdout]    │
[INFO] [stdout] 26 │     big <-- in \ (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^ The assigned signal `big` is not constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 31 │     n2b_big.in <== big;
[INFO] [stdout]    │     ------------------ The signal `big` is constrained here.
[INFO] [stdout] 32 │ 
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ------------------------------ The signal `big` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:25:5
[INFO] [stdout]    │
[INFO] [stdout] 25 │     small <-- in % (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `small` is not constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 29 │     n2b_small.in <== small;
[INFO] [stdout]    │     ---------------------- The signal `small` is constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ------------------------------ The signal `small` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:25:21
[INFO] [stdout]    │
[INFO] [stdout] 25 │     small <-- in % (1 << n);
[INFO] [stdout]    │                     ^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:26:19
[INFO] [stdout]    │
[INFO] [stdout] 26 │     big <-- in \ (1 << n);
[INFO] [stdout]    │                   ^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:33:12
[INFO] [stdout]    │
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │            ^^^^^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Comparisons with field elements greater than `p/2` may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:20:12
[INFO] [stdout]    │
[INFO] [stdout] 20 │     assert(n <= 126);
[INFO] [stdout]    │            ^^^^^^^^ Field element comparison here.
[INFO] [stdout]    │
[INFO] [stdout]    = Field elements are always normalized to the interval `(-p/2, p/2]` before they are compared.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-comparison.
[INFO] [stdout] 
[INFO] [stdout] warning: Using `Num2Bits` to convert field elements to bits may lead to aliasing issues.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:28:27
[INFO] [stdout]    │
[INFO] [stdout] 28 │     component n2b_small = Num2Bits(n);
[INFO] [stdout]    │                           ^^^^^^^^^^^ Circomlib template `Num2Bits` instantiated here.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using `Num2Bits_strict` if the input size may be >= than the prime size.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#non-strict-binary-conversion.
[INFO] [stdout] 
[INFO] [stdout] warning: Using `Num2Bits` to convert field elements to bits may lead to aliasing issues.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:30:25
[INFO] [stdout]    │
[INFO] [stdout] 30 │     component n2b_big = Num2Bits(m);
[INFO] [stdout]    │                         ^^^^^^^^^^^ Circomlib template `Num2Bits` instantiated here.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using `Num2Bits_strict` if the input size may be >= than the prime size.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#non-strict-binary-conversion.
[INFO] [stdout] 
[INFO] [stdout] test ccig::tests::test_zkleak_oneway_hash_protection ... ok
[INFO] [stdout] test analysis_runner::tests::test_with_files ... ok
[INFO] [stdout] test field_arithmetic::tests::test_field_arithmetic ... ok
[INFO] [stdout] test ccig::tests::test_zkleak_full_leak_relational ... ok
[INFO] [stdout] test cfg_manager::tests::test_component_dependency_linking ... ok
[INFO] [stdout] test field_comparisons::tests::test_field_comparisons ... ok
[INFO] [stdout] test ccig::tests::test_zkleak_transitive_alias ... ok
[INFO] [stdout] test nonstrict_binary_conversion::tests::test_nonstrict_num2bits ... ok
[INFO] [stdout] test constraint_analysis::tests::test_single_step_constraint ... ok
[INFO] [stdout] test definition_complexity::tests::test_small_template ... ok
[INFO] [stdout] test ccig::tests::test_zkleak_basic_arithmetic ... ok
[INFO] [stdout] test ccig::tests::test_true_partial_leak ... ok
[INFO] [stdout] test bn254_specific_circuit::tests::test_num2bits_strict ... ok
[INFO] [stdout] test signal_assignments::tests::test_signal_assignments ... ok
[INFO] [stdout] test constant_conditional::tests::test_constant_conditional ... ok
[INFO] [stdout] test taint_analysis::tests::test_taint_analysis ... ok
[INFO] [stdout] test unused_output_signal::tests::test_maybe_accesses ... ok
[INFO] [stdout] test unused_output_signal::tests::test_maybe_equal ... ok
[INFO] [stdout] test unconstrained_division::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test unconstrained_less_than::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test side_effect_analysis::tests::test_side_effect_analysis ... ok
[INFO] [stdout] test under_constrained_signals::tests::test_under_constrained_signals ... ok
[INFO] [stdout] test ccig::tests::test_zkleak_confidential_bonus_claim ... FAILED
[INFO] [stdout] test unused_output_signal::tests::test_unused_output_signal ... ok
[INFO] [stdout] test analysis_runner::tests::test_with_directory ... ok
[INFO] [stdout] test analysis_runner::tests::test_cfg_reference_linking ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- ccig::tests::test_zkleak_confidential_bonus_claim stdout ----
[INFO] [stdout] DEBUG: Did not match public input: name=balance, original_name="balance", public_input_names={thresh, mult, commit, bonus, isElig, totalScore}
[INFO] [stdout] DEBUG: Did not match public input: name=creditScore, original_name="creditScore", public_input_names={thresh, mult, commit, bonus, isElig, totalScore}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 12 from op_id 9 (type: Hash): {(0, OneWay)}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 37 from op_id 9 (type: Hash): {(0, OneWay)}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 15 from op_id 14 (type: Mul): {(0, Full)}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 21 from op_id 20 (type: Mul): {(0, Full)}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 27 from op_id 26 (type: AddSub): {(1, Full), (0, Full)}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 18 from op_id 17 (type: AddSub): {(0, Full)}
[INFO] [stdout] DEBUG: Phase 1 output for sig_id 24 from op_id 23 (type: AddSub): {(0, Full)}
[INFO] [stdout] 
[INFO] [stdout] thread 'ccig::tests::test_zkleak_confidential_bonus_claim' (49) panicked at program_analysis/src/ccig.rs:1416:9:
[INFO] [stdout] assertion failed: report_texts.iter().any(|m|
[INFO] [stdout]         m.contains("Private Input `creditScore` has a FULL LEAK (Relational De-blinding) risk"))
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x592c46f5408a - std[1209cfb42f6d497f]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x592c46f5408a - std[1209cfb42f6d497f]::backtrace_rs::backtrace::trace_unsynchronized::<std[1209cfb42f6d497f]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x592c46f5408a - std[1209cfb42f6d497f]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x592c46f5408a - <<std[1209cfb42f6d497f]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[4a92201981c6b77a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x592c46f69d1a - <core[4a92201981c6b77a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x592c46f69d1a - core[4a92201981c6b77a]::fmt::write
[INFO] [stdout]    6:     0x592c46f593b2 - std[1209cfb42f6d497f]::io::default_write_fmt::<alloc[420bb310a727dfd7]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x592c46f593b2 - <alloc[420bb310a727dfd7]::vec::Vec<u8> as std[1209cfb42f6d497f]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x592c46f321bf - <std[1209cfb42f6d497f]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x592c46f321bf - std[1209cfb42f6d497f]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x592c46f4bee9 - std[1209cfb42f6d497f]::panicking::default_hook
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x592c46c27f3c - <alloc[420bb310a727dfd7]::boxed::Box<dyn for<'a, 'b> core[4a92201981c6b77a]::ops::function::Fn<(&'a std[1209cfb42f6d497f]::panic::PanicHookInfo<'b>,), Output = ()> + core[4a92201981c6b77a]::marker::Sync + core[4a92201981c6b77a]::marker::Send> as core[4a92201981c6b77a]::ops::function::Fn<(&std[1209cfb42f6d497f]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x592c46c27f3c - test[59e67a9bc0e119f1]::test_main_inner::<test[59e67a9bc0e119f1]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x592c46f4c0a2 - <alloc[420bb310a727dfd7]::boxed::Box<dyn for<'a, 'b> core[4a92201981c6b77a]::ops::function::Fn<(&'a std[1209cfb42f6d497f]::panic::PanicHookInfo<'b>,), Output = ()> + core[4a92201981c6b77a]::marker::Sync + core[4a92201981c6b77a]::marker::Send> as core[4a92201981c6b77a]::ops::function::Fn<(&std[1209cfb42f6d497f]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x592c46f4c0a2 - std[1209cfb42f6d497f]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x592c46f322aa - std[1209cfb42f6d497f]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x592c46f26d19 - std[1209cfb42f6d497f]::sys::backtrace::__rust_end_short_backtrace::<std[1209cfb42f6d497f]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x592c46f3307d - __rustc[4effac393e9f3da6]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x592c46f6a58c - core[4a92201981c6b77a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x592c46f6a552 - core[4a92201981c6b77a]::panicking::panic
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x592c46c057c9 - circomspect_program_analysis[5053c7ad4b9a08b9]::ccig::tests::test_zkleak_confidential_bonus_claim
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/ccig.rs:1416:9
[INFO] [stdout]   21:     0x592c46bfcde7 - circomspect_program_analysis[5053c7ad4b9a08b9]::ccig::tests::test_zkleak_confidential_bonus_claim::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/ccig.rs:1336:46
[INFO] [stdout]   22:     0x592c46c1aed6 - <circomspect_program_analysis[5053c7ad4b9a08b9]::ccig::tests::test_zkleak_confidential_bonus_claim::{closure#0} as core[4a92201981c6b77a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x592c46c1b21b - <fn() -> core[4a92201981c6b77a]::result::Result<(), alloc[420bb310a727dfd7]::string::String> as core[4a92201981c6b77a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x592c46c1b21b - test[59e67a9bc0e119f1]::__rust_begin_short_backtrace::<core[4a92201981c6b77a]::result::Result<(), alloc[420bb310a727dfd7]::string::String>, fn() -> core[4a92201981c6b77a]::result::Result<(), alloc[420bb310a727dfd7]::string::String>>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/test/src/lib.rs:724:18
[INFO] [stdout]   25:     0x592c46c28a0b - test[59e67a9bc0e119f1]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x592c46c28a0b - <core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<test[59e67a9bc0e119f1]::run_test_in_process::{closure#0}> as core[4a92201981c6b77a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   27:     0x592c46c28a0b - std[1209cfb42f6d497f]::panicking::catch_unwind::do_call::<core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<test[59e67a9bc0e119f1]::run_test_in_process::{closure#0}>, core[4a92201981c6b77a]::result::Result<(), alloc[420bb310a727dfd7]::string::String>>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x592c46c28a0b - std[1209cfb42f6d497f]::panicking::catch_unwind::<core[4a92201981c6b77a]::result::Result<(), alloc[420bb310a727dfd7]::string::String>, core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<test[59e67a9bc0e119f1]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x592c46c28a0b - std[1209cfb42f6d497f]::panic::catch_unwind::<core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<test[59e67a9bc0e119f1]::run_test_in_process::{closure#0}>, core[4a92201981c6b77a]::result::Result<(), alloc[420bb310a727dfd7]::string::String>>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x592c46c28a0b - test[59e67a9bc0e119f1]::run_test_in_process
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x592c46c28a0b - test[59e67a9bc0e119f1]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x592c46c22124 - test[59e67a9bc0e119f1]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x592c46c22124 - std[1209cfb42f6d497f]::sys::backtrace::__rust_begin_short_backtrace::<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x592c46c2b612 - std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked::<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   35:     0x592c46c2b612 - <core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[4a92201981c6b77a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   36:     0x592c46c2b612 - std[1209cfb42f6d497f]::panicking::catch_unwind::do_call::<core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x592c46c2b612 - std[1209cfb42f6d497f]::panicking::catch_unwind::<(), core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x592c46c2b612 - std[1209cfb42f6d497f]::panic::catch_unwind::<core[4a92201981c6b77a]::panic::unwind_safe::AssertUnwindSafe<std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x592c46c2b612 - std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked::<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   40:     0x592c46c2b612 - <std[1209cfb42f6d497f]::thread::lifecycle::spawn_unchecked<test[59e67a9bc0e119f1]::run_test::{closure#1}, ()>::{closure#1} as core[4a92201981c6b77a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x592c46f5363f - <alloc[420bb310a727dfd7]::boxed::Box<dyn core[4a92201981c6b77a]::ops::function::FnOnce<(), Output = ()> + core[4a92201981c6b77a]::marker::Send> as core[4a92201981c6b77a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   42:     0x592c46f5363f - <std[1209cfb42f6d497f]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/f9988fefd3add01f414f52b414308e7872622fee/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x7213842aeaa4 - <unknown>
[INFO] [stdout]   44:     0x72138433ba64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     ccig::tests::test_zkleak_confidential_bonus_claim
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 37 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.73s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p circomspect-program-analysis --lib`
[INFO] running `Command { std: "docker" "inspect" "1812601f939835121b243177a735cbccb69705e99aca9d2e1ee15473f6621807", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1812601f939835121b243177a735cbccb69705e99aca9d2e1ee15473f6621807", kill_on_drop: false }`
[INFO] [stdout] 1812601f939835121b243177a735cbccb69705e99aca9d2e1ee15473f6621807
